package joc.nextgen;

public @interface Invariant {

}
